Home| Scope| Editorial Board| Content| Search| Subscription| Rules| Contacts  in Russian
Articles classificators
> 68-XX >68Qxx >68Q60

68Q60 Specification and verification (program logics, model checking, etc.)

    Keywords
    Home| Scope| Editorial Board| Content| Search| Subscription| Rules| Contacts
    ISSN 1560-7534
    © 2024 FRC ICT